Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic
نویسندگان
چکیده
منابع مشابه
Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic
A business process is the combination of a set of activities with logical order and dependence, whose objective is to produce a desired goal. Business process modeling (BPM) using knowledge of the available process modeling techniques enables a common understanding and analysis of a business process. Industry and academics use informal and formal techniques respectively to represent business pr...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملOntology-Based Assistance for Semi-Formal Process Modeling
The construction of semi-formal process models is a difficult task due to the complexity of today’s business processes. In this contribution, we devise an ontology-based assistant for semi-formal process modeling. The assistant is intended to support the modeler in creating high quality process models with less time and effort by reusing knowledge captured in a reference ontology. At first, we ...
متن کاملDetecting Compliance with Business Rules in Ontology-Based Process Modeling
Extending business processes with semantic annotations has gained recent attention. This comprises relating process elements to ontology elements in order to create a shared conceptual and terminological understanding. In business process modeling, processes may have to adhere to a multitude of rules. A common way to detect compliance automatedly is studying the artifact of the process model it...
متن کاملOntology Based Business Process Description
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed which makes it particulary difficult for business partners to coordinate their supply chains and customer relationship management with business units. By using formal description languages such as Petri nets for modeling ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2014
ISSN: 2156-5570,2158-107X
DOI: 10.14569/ijacsa.2014.050715